abstract class $NUMBER{NTP} < $IS_LT{NTP},$NFE{NTP}

****	Abstraction over Real numbers and Integers This abstraction is needed to add in the the constraint that numbers are comparable, unlike general field elements which might not be.

---

Ancestors

$NFE{_}	$IS_EQ	$STR	$NIL
$IS_NIL	$IS_LT{_}

Descendants

INT

$REAL_NUMBER{_}

FLTD

FLT

---

Public

---

The Sather Home Page

---